Morphisms on Bi-approximation Semantics
نویسنده
چکیده
In the present paper, we introduce bounded morphisms on bi-approximation semantics, show the so-called p-morphism lemma on bi-approximation semantics, and investigate the dual representation of the morphisms. In addition, we study three properties, namely B-embedding, B-separating and B-reflecting, to preserve validity of sequents on frames. These bounded morphisms do not look like embedding, surjective and isomorphic p-morphisms on Kripke semantics in modal logic. Nevertheless, with help of auxiliary relations or properties held via the dual representation, we notice that the notion of our bounded morphisms on bi-approximation semantics is a natural generalisation of the one on Kripke semantics in modal logic.
منابع مشابه
The De Morgan Negation on Bi-Approximation Semantics: the dual representation of unbounded ortholattices
In this paper, we have established bi-approximation semantics for lattice-based logics with the De Morgan negation (unbounded orthologic), and their morphisms. In addition, we have discussed the dual representation between unbounded ortholattices with strict homomorphisms and polarity frames and d-morphisms. Apart from the abstract construction of dual algebras in the series of the present auth...
متن کاملBi-approximation Semantics for Substructural Logic at Work
In this paper, we introduce bi-approximation semantics, a two-sorted relational semantics, via the canonical extension of lattice expansions. To characterise Ghilardi and Meloni’s parallel computation, we introduce doppelgänger valuations which allow us to evaluate sequents and not only formulae. Moreover, by introducing the bi-directional approximation and bases, we track down a connection to ...
متن کاملHomotopy approximation of modules
Deleanu, Frei, and Hilton have developed the notion of generalized Adams completion in a categorical context. In this paper, we have obtained the Postnikov-like approximation of a module, with the help of a suitable set of morphisms.
متن کاملOn the Classification of Quadratic Harmonic Morphisms between Euclidean Spaces
We give a classification of quadratic harmonic morphisms between Euclidean spaces (Theorem 2.4) after proving a Rank Lemma. We also find a correspondence between umbilical (Definition 2.7) quadratic harmonic morphisms and Clifford systems. In the case R −→ R, we determine all quadratic harmonic morphisms and show that, up to a constant factor, they are all bi-equivalent (Definition 3.2) to the ...
متن کاملCanonicity and bi-approximation in non-classical logics
Non-classical logics, or variants of non-classical logics, have rapidly been developed together with the progress of computer science since the 20th century. Typically, we have found that many variants of non-classical logics are represented as ordered algebraic structures, more precisely as lattice expansions. From this point of view, we can think about the study of ordered algebraic structure...
متن کامل